Recovery from Intermittent Faults for Input/state Asynchronous Sequential Machines
نویسندگان
چکیده
This paper presents a corrective control scheme that automatically counteracts the adverse effect of intermittent faults in the logic of asynchronous sequential machines. When an intermittent fault occurs to the machine, a set of state transitions defined in the machine suspends the normal behavior for a finite interval. The objective is to design a corrective controller that makes the closed-loop system show the normal input/state behavior despite the occurrence of an intermittent fault. We show that realization of fault tolerance depends on a certain reachability property of the asynchronous machine. For validating the applicability of the proposed control scheme, we implement the closed-loop system on VHDL code.
منابع مشابه
Fault Tolerance for Input Faults in a Class of Asynchronous Sequential Machines
In this paper, we address the problem of tolerating the adverse effects of input faults on the operation of a class of asynchronous sequential machines. Occurring to either the external input or the control input generated by the controller, input faults can cause unauthorized changes of the input value. In the framework of corrective control, we present the necessary and sufficient condition f...
متن کاملInput/Output Switched Asynchronous Sequential Machines with Transient Faults
Robust model matching control of input/output switched asynchronous sequential machines is addressed in this paper. The control objective is to determine the existence condition and design algorithm for a corrective controller that can match the stable-state behavior of the closed-loop system to that of a reference model, while invalidating any transient faults that cause unauthorized state tra...
متن کاملFault Tolerance in Asynchronously Operated Machines Allowing Temporary Violation of Normal Specification
A novel scheme of fault tolerance for input/state asynchronous sequential machines is presented in this paper. The machine may undergo unauthorized state transitions caused by adversarial inputs. The considered faults have the feature of intermittency in their influences so that the adverse effect persists for some finite time after initial occurrence. Since strong fault tolerance is impossible...
متن کاملConditions for Model Matching of Switched Asynchronous Sequential Machines with Output Feedback
Solvability of the model matching problem for input/output switched asynchronous sequential machines is discussed in this paper. The control objective is to determine the existence condition and design algorithm for a corrective controller that can match the stable-state behavior of the closed-loop system to that of a reference model. Switching operations and correction procedures are incorpora...
متن کاملAsynchronous Sequential Machines with Fault Detectors
A strategy of fault diagnosis and tolerance for asynchronous sequential machines is discussed in this paper. With no synchronizing clock, it is difficult to diagnose an occurrence of permanent or stuck-in faults in the operation of asynchronous machines. In this paper, we present a fault detector comprised of a timer and a set of static functions to determine the occurrence of faults. In order ...
متن کامل